Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
681	Computational Complexity Oded Goldreich Department of Computer Science Weizmann Institute of Science Rehovot, Israel. [removed] Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:18 Complexity classes Structural complexity theory Mathematical optimization Probabilistic complexity theory NP P versus NP problem P Bounded-error probabilistic polynomial Interactive proof system Theoretical computer science Computational complexity theory Applied mathematics
682	Verifying Computations with Streaming Interactive Proofs Graham Cormode AT&T Labs—Research [removed] Justin Thaler ∗ Add to Reading List Source URL: www.vldb.org Language: English - Date: 2011-09-28 10:12:24 Complexity classes Probabilistic complexity theory Interactive proof system IP NP Probabilistically checkable proof Cryptographic protocols FO Soundness Theoretical computer science Computational complexity theory Applied mathematics
683	Seven Unusual numbers[removed]A Proof Set in Stone by Peter Bluer Add to Reading List Source URL: www.biblemaths.com Language: English - Date: 2012-06-15 08:21:11 700 Prime number 300 Floating point 3 Pi Mathematics Group theory Number
684	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
685	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
686	@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department", Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2007-01-22 14:30:32 Model theory Proof theory Metalogic Logic in computer science Computability theory Presburger arithmetic Quantifier elimination Decidability Jan Łukasiewicz Mathematical logic Logic Mathematics
687	Principals in Programming Languages: A Syntactic Proof Technique Steve Zdancewic Dan Grossman Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-23 11:37:40 Type safety Type theory
688	J-Calc: A typed lambda calculus for Intuitionistic Justification Logic Konstantinos Pouliasis Giuseppe Primiero Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 08:49:03 Logical syntax Propositional calculus Philosophical logic Natural deduction Entailment Interpretation Curry–Howard correspondence Formation rule Witness Logic Proof theory Deduction
689	TOWARDS MECHANICAL LEVEL OF DETAIL FOR KNITWEAR SIMULATION Olivier Nocent, Jean-Michel Nourrit, Yannick Remion Laboratoire d’Etudes et de Recherches Informatiques, Université de Reims Champagne-Ardenne, Rue des crayè Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2000-12-22 08:51:42 Ordinal numbers Proof theory Fast-growing hierarchy Ordinal arithmetic Mathematical logic Mathematics Continuous function
690	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics

UPDATE